DSet{i}  Type{i'} 

latex

Up	sets 1
Definitions of Statement	DSet
Definitions	DSet, t  T, , x:A. B(x)
Lemmas	set eq wf, set car wf, eqfun p wf, poset sig wf